Formal science - PDFSEARCH.IO - Document Search Engine

Formal science
Results: 4621

#	Item
181	The Computational Worldview and the Sciences: a Report on Two Workshops Sanjeev Arora∗ Avrim Blum† Leonard J. Schulman‡ Alistair Sinclair§ Add to Reading List Source URL: users.cms.caltech.edu Language: English - Date: 2007-10-12 19:44:00 Theoretical computer science Science Formal sciences Algorithmic game theory Game theory Theory of computation Emerging technologies Algorithmic Quantum computing Quantum mechanics Quantum information Computational science
182	Verification-Cases: Characterizing the Completeness Degree of Incomplete Verification for C Programs Towards Using Formal Verification for Low Criticality Functions Daniel Ratiu Vincent Nimal Add to Reading List Source URL: mbeddr.com Language: English - Date: 2016-08-09 05:22:44 Software engineering Theoretical computer science Formal methods Systems engineering Software Logic in computer science Software testing Formal verification Functional verification Verification and validation Verification Model checking
183	PROGRAMS WITH COMMON SENSE John McCarthy Computer Science Department Stanford University Stanford, CA 94305 Add to Reading List Source URL: www-formal.stanford.edu Language: English - Date: 2002-03-26 18:16:08 Logic Reasoning Logic programming Logical truth Propositional calculus Logical consequence Advice taker Logic Theorist Argument Rule of inference Substitution First-order logic
184	Properties of CFL’s • Simplification of CFG’s. This makes life easier, since we can claim that if a language is CF, then it has a grammar of a special form. • Pumping Lemma for CFL’s. Similar to the regular ca Add to Reading List Source URL: www.cs.ucr.edu Language: English - Date: 2015-01-28 19:53:52 Formal languages Grammar Constructible universe Formal grammar Logic Cognitive science Useless rules Controlled grammar
185	Microsoft Word - NCIT_Methods.doc Add to Reading List Source URL: ontology.buffalo.edu Language: English - Date: 2005-12-08 15:13:02 Semantic Web Computing Knowledge representation Information science World Wide Web Consortium Ontology Web Ontology Language Formal ontology Resource Description Framework Web resource RDF Schema Description logic
186	To appear in MFCSAvailable online from http://www.cl.cam.ac.uk/∼ljw1004 Explicit Fusions Philippa Gardner and Lucian Wischik∗ June 2000 Add to Reading List Source URL: www.wischik.com Language: English - Date: 2001-08-20 15:52:59 Theoretical computer science Mathematical logic Logic Formal methods Logic in computer science Process calculi -calculus Computability theory Process calculus Lambda calculus Bisimulation Calculus
187	School of something FACULTY OF OTHER Utility Ontology Development with Formal Concept Analysis Gaihua Fu and Anthony G Cohn Add to Reading List Source URL: fois08.dfki.de Language: English - Date: 2008-11-14 08:29:59 Ontology Semantic Web Information science Information Knowledge representation Technical communication Computing Formal concept analysis Web Ontology Language Upper ontology Formal ontology
188	Meta-Predicates for Rodin Sebastian Krings Institut f¨ ur Informatik, Universit¨ at D¨ usseldorf Add to Reading List Source URL: wiki.event-b.org Language: English - Date: 2016-05-20 11:24:18 Formal methods Theoretical computer science FO Finite model theory Model checking Linguistics B-Method Rodin Control Predicate Cognitive science
189	An Ontological Representation of Situational Awareness from Sensor Data Ron Rudnick and Jim Schoening CUBRC, Buffalo, NY, USA Abstract Add to Reading List Source URL: www.ncgia.buffalo.edu Language: English - Date: 2016-05-18 12:38:25 Cognitive science Cognition Ontology Knowledge Information science Technical communication Semantic Web Knowledge representation Formal ontology Situation awareness Philosophy of perception Object
190	Design and Implementation of a PHP Compiler Front-end Edsko de Vries∗ and John Gilbert {devriese, gilberj}@cs.tcd.ie Department of Computer Science School of Computer Science and Statistics Trinity College Dublin, Irel Add to Reading List Source URL: www.edsko.net Language: English - Date: 2016-08-02 06:27:04 Software Computing Compiler construction Compiling tools Formal languages Cross-platform software Parser generators Syntax GNU bison Parsing Lexical analysis PHP

UPDATE